/*
  Estrutura dos factos que representam linhas de transporte e
  exemplos de factos
*/ 


(deftemplate transporte
    "Uma linha de um meio de transporte publico"
    (slot tipo)
    (slot id)
    (multislot paragens)
    (slot custo)
    (slot tempo)
)

/*
	Metro
*/
(deffacts linhasDeMetro
    (transporte 
        (tipo metropolitano)
        (id linhaAmarela)
        (paragens Odivelas SenhorRoubado Ameixoeira Lumiar 
                  QuintaDasConchas CampoGrande CidadeUniversitaria 
                  EntreCampos CampoPequeno Saldanha Picoas 
                  MarquesDePombal Rato)
        (custo 0.75)
        (tempo 1.30)
    )
    
    (transporte 
        (tipo metropolitano)
        (id linhaAzul)
        (paragens AmadoraEste Alfornelos Pontinha Carnide 
                  ColegioMilitar AltoDosMoinhos Laranjeiras 
                  JardimZoologico PracaDeEspanha SaoSebastiao Parque 
                  MarquesDePombal Avenida Restauradores 
                  BaixaChiado TerreiroDoPaco SantaApolonia)
        (custo 0.75)
        (tempo 1.30)
    )
    
    (transporte 
        (tipo metropolitano)
        (id linhaVermelha)
        (paragens SaoSebastiao Saldanha Alameda Olaias BelaVista 
                  Chelas Olivais CaboRuivo Oriente)
        (custo 0.75)
        (tempo 1.30)
    )
    
    (transporte 
        (tipo metropolitano)
        (id linhaVerde)
        (paragens Telheiras CampoGrande Alvalade Roma Areeiro 
                  Alameda Arroios Anjos Intendente MartimMoniz Rossio 
                  BaixaChiado CaisDoSodre)
        (custo 0.75)
        (tempo 1.30)
    )
)
/*
	Autocarro
*/
(deffacts linhasDeAutocarro
    (transporte 
        (tipo autocarro)
        (id 36)
        (paragens Odivelas BombeirosOdivelas EscolaPrepOdivelas SenhorRoubado 
            CalcadaDeCarriche RuaDoLumiar Lumiar QuintaDasConchas AvRainhaDEleonor 
            HospPulidoValente CampoGrande CampoGrandeNorte AvBrasil EntrecamposNorte Entrecampos 
            EstEntrecampos CampoPequeno AvRepublica Saldanha Picoas AvFontesPMelo MarquesPombal 
            AvLiberdade Restauradoes Rossio TerreiroDoPaco CorpoSanto CaisSodre)
        (custo 1.50)
        (tempo 3.20)
    )
)

/*
	Comboio
*/
(deffacts linhaDeComboio
    (transporte 
        (tipo comboio)
        (id linhaVerde)
        (paragens Alverca Oriente RomaAreeiro Entrecampos SeteRios Campolide CaisDoSodre MAbraao MiraSintra Sintra) 
        (custo 1.30)
        (tempo 2.00)
    )
)
(deffacts linhaDeComboio
    (transporte 
        (tipo comboio)
        (id linhaVermelha)
        (paragens Azambuja VilaFrancaXira Alverca Oriente SantaApolonia RomaAreeiro Entrecampos SeteRios Campolide Alcantra) 
        (custo 1.30)
        (tempo 2.00)
    )
)

/*
	Electrico
*/
;por definir
(deffacts linhaDeElectrico
    (transporte 
        (tipo electrico)
        (id 25E)
        (paragens CampoOurique IgrejaStoCondestavel SaraivaCarvalho DomingosSequeira DomingosSequeira 
	    EstrelaHospital RJoaoDeus RBuenosAires RSantanaALapa RSDomingosALapa RGarciaOrta RSJoaoMata Santos 
	    VitorinoDamasio CondeBarao RSPauloBica CaisDoSodre CorpoSanto TerreiroDoPaco SantaApolonia)
        (custo 1.50)
        (tempo 3.20)
    )
)



